Calculating Software Metrics for Ladder Logic
نویسندگان
چکیده
Ladder logic is a graphical language widely used to program Programmable Logic Controllers (PLCs). PLCs are found at the heart of most industrial control systems used in automation because they are robust, they are relatively easy to program and because they are a proven technology. However there is currently no means to measure the intrinsic properties and qualities of the code produced. This paper details a method for creating tools to calculate software metrics for ladder logic, specifically Rockwell Automation’s implementation of ladder logic for its ControlLogix family of PLCs, Import-Export language version 2.6. Results obtained from these tools are briefly discussed also.
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملA Proposed Fuzzy based Framework for Calculating Success Metrics of Agile Software Projects
Agile development methodologies are considered the most important guarantor for the success of software development project as they depend on the best practices in the development process rather than on the theatrical concepts. But, because of the unclear and ambiguous indicators within agility evaluation, most metrics are described in a form of human-like language by linguistic terms which are...
متن کاملDesign and PLC Implementation for Speed Control of DC Motor using Fuzzy Logic
In this article, a speed control of DC motor is designed and illustrated using fuzzy logic-based programmable logic controller (PLC). The DC motor is an attractive part of electrical equipment in many industrial applications requiring variable speed and load specifications due to its ease of controllability. The designed system is consisted of three main parts including programmable logic contr...
متن کاملA Novel Approach to Reliability Analysis Using Petri Nets and Ladder Logic Diagrams
In this paper the dynamic modeling of repairable and standby components of complex systems is analyzed using Petri Nets and ladder logic diagrams. The use of Petri Nets as modelling of a complex system avoids two basic disadvantages of Markov chain analysis. First, the Petri Net model does not grow in size as increasing the number of components and second, Markov chain has been limited to the e...
متن کاملFormal Verification of Ladder Logic
This project studied whether a digital interlocking which had been programmed with ladder logic (Boolean program) would obey generic safety properties. This was carried out by translating the ladder logic into an alternate representation and applying various techniques to allow specification of safety properties. Finally, a proof engine was used to formally verify if these properties were fulfi...
متن کامل